coalg (set a s) = Store (set a) s